Fix proposal for #59.