Fixes mistake in documentation