get rid of extra thens kindly inserted by emacs VHDL mode.