Update auto-updating instructions

Ping #1278