fix up #7