Thanks for noticing! That part of the change is embarrassing :-)