documentation bug