bug fixed in inverover (the bug was introduced by the last commit)