note re: explicit casting