bugfix for int var typing