And another tiny indentation fix