Adding back a line that was accidentally lost, presumably from a merge