help: string fontification bug in ksh-mode