A single, minor bugfix.