Bugfix minore.