Bug fix in docs