Both Large Posts on the Solenoid are "positive", they are just on different sides of a big ON/OFF switch.
Other than that the description of the wires is correct.
You are also missing:
The "Pre-Charge" resistor that goes on the big solenoid posts.
The diode that goes on the small solenoid posts (striped side of the diode on the small post with the red wire to controller terminal #1).