(per IRC discussion this was a false alarm)