remove a few more unused bits of StringMap