Minor cleanup.
Oops, this test was not transformed properly...