Minor tweaks to make it clearer what the algorithms are supposed to do