corrections to setvl from debugging