Corrected small bug concerning arity of start