fixed a small bug in the output