Tiny dox change for clarity (#389)