fix invert-appvar and getting started on appvar case