Add passing test case for #4