Bug fix - thanks to TripleChecker!