fix up #10