Tools for peer correcting, PHP version.