Another type-checking fix because of PHP derp.