minor bugfix.