trivial fix for main error