This is only used once here. Inline it.