Fix #9 bis