Fix doc contracts