Fix a bug in displaying help