Fix SPECIFICATION off-by-one error in sqrts of W and H