A small simplification in a test