A fix in Core docs