fixed bug concerning documentation