make github markdown engine happier