Added case to reproduce bug