Correct behavior of indentation before end-of-buffer