MySQL auto increment?

Looking at http://wiki.bestpractical.com/view/SetStartingId, is the
comment about inserting a row after altering auto_increment still
correct for MySQL?

Also, am I right in assuming that I only need to adjust the Tickets
database in order to change the starting ticket id?

e.g.

alter table Tickets auto_increment = 987

If someone can confirm this, I’ll update the Wiki with the
information as it is very light and generic on actually changing the
starting id in RT as of right now.

Ed