minor fixes in comments and app/doc