fix possibly semantically wrong use of section