fix up #3