janitorial fixes

Hey, I made some minor improvements.