fix bug in documentation