Fix subtle mistake in docs and formatting