correct learner structure, so stricter checking works