plug leak
underline diagnostics

it would be nice if we could change the underline color for warnings