fixed type inference bug & made help clearer