fix up #4