It looks like it was a bug. I checked it again yesterday and it was correctly returning null as a halting condition.