Fixed bad printf in var.c