fix up #9