minor "bugfix"