fix #7: the last commit fixed the wrong issue 6 ;-(