I'd meant that we shouldn't bother, but this seems fine.