Bug in lazy-lock/font-lock