this cast is unnecessary?