made a partial function total

(shouldn't have been called anyways, but it's still nice not to have it
fail if it ever does get called with that case)