fix small bug regarding program parameters