Update for @kkingori's code highlighting fix