Bugfix in #all