Fixed small bug in program protocol