fixed highlight in pedant module