font-lock gets stuck!