some progress on updating replCorrect