Fix #7 (actually it was already fixed, but intendation of the comments was ugly