Dev loop: removed useless casts