Fix bug in docs