Minor casting tweak