slightly improve jenkins message highlighting