Added a test to check for this bug.