fixup! Update the API spec to reflect a few small changes