[minor bugfix]