// When fixing this comment-block, then the leading whitespace on the following
// line will be discarded. white-space will be discarded when fixing.