Test case to reproduce issue #280