Is github trolling me, or is this double-indented?