reduced test case of a bug