Added a test case for the bug fixed with the previous commit (29cfcce)