Issue 7333: The properties of the <return value> are not displayed correctly