Text this: Teacher correction versus peer-marking