Stupid bug in interface printout