fix dumb documentation error