fixed small comments on test semantics