test and fix #9