should add an indentation header - github is clearly mangling this, so it'd be good for my editor to do it right automatically