fix up #6