Test for fix #63