Corrections for test mode of the plugin in proof.