fix proposal for #60