implement some bits of the read-only api