bugfix#4