Good catch: how can this ever work... :-\