re #11 add code highlight