AFAICS this case can no longer happen due to the block starting with
// Some post script commands can be nested, e.g. /F2 /GS2 gs 5.711 Tf