In this note we point out how a theorem of Gamelin and Garnett from function theory can be used to establish a spectral mapping theorem for an arbitrary contraction and an associated class of $H^{infty}$-functions.