very minor change to make docs look better