small bug in declaration of arguments fixed