bugfix #252