apply changes recommended by doy. This no longer works with 'prove'.