fixed github error

For some reason this strange "HEAD<<<<<<" line was added into a bunch of
places. This fixes it.