formatting

but more importantly using GitHub's editor