work around what seems to be a GitHub markdown bug