Fix for .lean option not taking effect