[sethherr]

Thanks! Wouldn't have seen it without this comment, and it's a clever addition.