Thanks for this. The diff makes it look like we lost a line break here, though.