Migration changeColumn documentation incorrect

It appears that the documentation for changeColumn for migrations is wrong - the fourth argument seems to be the length, and the fifth argument is the array of options.

http://www.doctrine-project.org/projects/orm/1.2/docs/manual/migrations/en#writing-migration-classes:available-operations:change-column

// This Fails:
$this->changeColumn('table_name', 'column_name', 'tinyint', $options);

// This Works:
$this->changeColumn('table_name', 'column_name', 'tinyint', 3, $options);

Trying the former option with decimals caused the error:
"ALTER TABLE uza_population_size CHANGE square_miles square_miles DECIMAL(Array, 2)"