Added one bit to a comment, nothing special