Fix documentation of FlexibleContexts (#8574)