Fixing a parsing issue in harvey-init