Fix accidental changes to a few lines in 68b5fee