fix bug in docs