(ok, at this point one can maybe assume that this works, if it's properly catched/checked above)