Adding HR tag, because github doesn't seem to like any of the markdown syntax for HRs.