Fix bug with not not