The unit we are using there is cent rather than dollar, so it is actually rounding down a cent number. And yeah, the document is wrong, I just updated it as cent there.