Fix another markdown port