A slight simplification in the mock