minor fixes I don't want to forget