If he's measured them with a tape measure they will come out an inch bigger. So a 7x15 will measure as an 8x16, which sounds quite likely.