Fix issue #157

This is useless