Fix type of example in SCT