Minor corrections to some AMP test cases