Correction to traces running in VDM-RT, fixes #219