Hm: het hoort er niet.  Ik zal zo wat code opschoon dingetjes doen.