BUGFIX: this change somehow got dropped from the last commit