Just in case we want to publish this elsewhere.