fix printing to vhdl code