Another minor parsing fix