Fix silly mistake in casts