syntax highlighting article: fix kate highlighting time because the bug is not reproduced