bug fixed

- errors in inequality (my bad)
- error in debug commentaries