cleanup; use a separate highlighter for warnings