Replacing a few more whitespaces by tabs again.