fixing some errors and changing some representations