Test for fix #1