hrm, in fact it's not even needed...