Bugfix in maximum weighted independent set