Fix left over from 2769db42f442a380eb18fdc3c9e729f58ef0c153