Removes page-number-multiplied-by-10 shim; fixed for 2013.