fixes UserVariable bug (hopefully!)