another dumb documentation bug fixed