minor BUGFIX