More concise test case