Fix lingering warning about overloaded result