Minor bug in the docs