Same-line docs should be indented with 4 spaces here.