Hmm, this should not be a cast...