Simple documentation fix