make indent, on Ubuntu 12.04.
Merge pull request #17 from Staance/jul23_2

make indent, on Ubuntu 12.04.