trivial fix for document