fix proposal for #463