bugfix #255