Hi all!

A tiny patch to add indentation for class_body.

Feel free to apply, Yuan or Eli :-)

Theo