Fix an unwanted error message
