Correct synopsis code