HOPKINS: Change a few spaces to tabs