Fixed structure of BRST document