Bugfix 13257