ideas for fixing #9