Fix #169 open problem