minor fixes to make clean