Minor style/comment changes; playing with git interface