Missed cast in eval case (does not happen in ordinary test runs?)