This change was made in !6403, but the appropriate documentation changes were not applied to the ARM.