A trivial one-line change