We consider the problem: If K is a compact normal operator on a Hilbert module E, and f ∈ C0(SpK) is a function which is zero in a neighbourhood of the origin, is f(K) of finite rank? We show that this is the case if the underlying C*-algebra is abelian, and that the range of f(K) is contained in a finitely generated projective submodule of E.