Bugfix. Previous commit is broken.