fix proposal for #114