Inline these, since they're only used once?