Minor code-formatting-changes