updated header, removed trailing whitespaces, minor finetuning