mistake in docs, fixes #17