minor changes

HO HO HO!