String formatting in getOrThrow.