Ah, got it now: there are these slight differences in the usage of `f1`, `fz` and `f3`. It's a bit hard to see ;-)