some minor tycasting fix