fix proposal for #65