Fix leanErrors usage