hi guix, if this patch looks good, feel free to change message diagnostic.