Some auxiliary code for the next patch.