This is actually older code that just got reindented :-/ But I'll look at that issue in the followup.