The new github editor does really weird things sometimes. This is one of those times.