Work around github markdown bug