fix bug in syntax-highlighted code