Bugfix of error detected by validation script