re-insert

inadvertently omitted from #303