Fix #501; Change of color: red -> gray