totally overkill, but needed for sane random name ops.