WordPress Child Theme Instructions lacking

Hello,

The WordPress Child Theme instructions http://codex.wordpress.org/Child_Themes is lacking.

I copied it below: and of course edited all “twenty twelve” to “Minimatica”.

>>>>>
Our parent theme for this example is Twenty Twelve. We like most everything about it, except the color of the site’s title, which we want to change from black to green. Using a child theme, all it takes is three simple steps:

Make a new directory in wp-content/themes, and name it twentytwelve-child (or anything you like).
Save the code below in a file named style.css, and drop this file in the new directory.
Go to Dashboard › Themes and activate your new theme, the Twenty Twelve Child.
/*
Theme Name: Twentytwelve Child
Description: Child theme for the twentytwelve theme
Author: Your name here
Template: twentytwelve
*/

@import url(“../twentytwelve/style.css”);

<<<<<>>>> /*
Theme Name: Minimatica Child
Description: Child theme for the Minimatica theme
Author: My Name
Template: Minimatica
*/

@import url(“../minimatica/style.css”);

<<<<<>>>>>>>
The following themes are installed but incomplete. Themes must have a stylesheet and a template.