Small doc-style change