BUG: fixed a small bug in help display