bugfix: a wrong correction in commit dedf932