My linearization by hand seems to be right.