adapt documentation in Tct.Configuration