Add a test case for issue #424