minor fixes, filename change