fixed a bug in docs