Possible bug in hide-ifdef-mode