Fixing some Github markup problems