fixing #9