re-add 'var stop;'