@MaPePeR: That's what emacs gave me, and it looked alright in emcas - I only just now noticed that it used tabs for the second indentation level instead of 8 spaces. Fixed in 32fb36e.