Yeah, that appears to be the case. Either way, this fixes the problem.