Again, minor bugfix.