striptex: captions have short versions now