workaround for what seems to be a markdown bug?