fix small bug in echo statement