Fix linux warning in previous commit