redundant cast.