Minor formatting/comment rewording/etc.