bugfix#5