Bugfix from a few commits ago.