Fix issue #1

Just a doc issue, but still, an annoying one.