(fix #8)