Correct example input