more informative error message in Learner_operators