vhdl-mode bug