Correct indentation (wrt. PR 458)