Proposed text for #458