Work around c-mode bug