workaround for apparent GitHub markdown bug