Bug in : Intel's documentation