Fix minor bugs observed in hw_config files