Comment modifier le type de données d'une colonne dans une table PostgreSQL?

La saisie de la commande suivante dans un terminal interactif PostgreSQL génère une erreur:

ALTER TABLE tbl_name ALTER COLUMN col_name varchar (11);

Quelle est la commande correcte pour modifier le type de données d'une colonne?

Voir la documentation ici: http://www.postgresql.org/docs/current/interactive/sql-altertable.html

ALTER TABLE tbl_name ALTER COLUMN col_name TYPE varchar (11);