documentation bug fixed