Use terse same-line comment here.