Opt

TODO: doc the new tag. Is that the way we want to go?
They remove compilation warning. Why do you tell they are bad cast? We do this elsewhere in that file.