Added issue12.correct