Fix proposal for fs#313