toplev argument fixes