Fix error in c69962dd due to unused option