Avoid a bit of duplication.