No bug: Fix a modeline. DONTBUILD