fix trivial formatting error in comment