Bozhidar Batsov <notifications@github.com> writes:

> Ah, yes. Please, use only spaces for the indentation.

Done -- see the latest PR.  I'm done for the small clean-up,
thanks for merging the changes!