Bug fix: highlighting on python frosted checker