Weird. Ah well, there are plenty of other projects to work on.