Is this a math bug?