the first version which should work (but it does not)