Useless stuff

few vague edits, nothing noteworthy