fixes #6 !=~