Redesigned the arguments of run/1. This was caused by 
bug introduced by displaying facilities provided in last release.
