Fix mistake in core docs