fix #280 for sure this time ...