Proposal to fix #8
Proposal to fix #8