fixed bug in documentation