fixed a bug in documentation