fix Jan's commit regarding section headers
fix pldoc for exclusive or