Fixes some unwanted tab-effects in the comments. Changed tab-character to spaces.