Fixed a bug in evaluation that occurs when there are proposed corrections after the last true.
Fixed some pastos that effect error messages.