Bugfix for rare crash (fix last fix); release 8.0.2