User docs: removed undesired whitespace