cosmetic
fix #13