bugfix in previous commit