Bugfix #763