Some references to coq_variable and coq_section removed. See previous commit.