Minor style and removed a superfluous comment.