minor fixes/comments