Convert tabs to spaces

My editor inexplicably converted some spaces to tabs upon paste, even
though the editor preferences explicitly state otherwise.