Mended oversight from #c9d4659