Fixes a small documentation error