cc-mode bug?