small fixes for pygments, extra check for rtd