Mysql server_properties 255 to 2048 how?

[Genrabbit]

Hi
Ive just updated my Ts from 3.0.3 to 3.0.5 and it says in the update info

MySQL users, please alter your table server_properties and extend the "value" field from varchar(255) to varchar(2048)

how exactly? I'm newb when it comes to Mysql.

And btw, I do all over ssh in a shell.

Would this be the right way to do it?

use Databasename;
alter table server_properties modify * VARCHAR(2048);