Test case for a bug