explicit casting where it is needed