fix bug in docs.