fix small problems (unimportant changes)