Small bugfix from report