tiny fixes and comments