Yup.  You're right.  Using pin 13 on a servo apparently can cause problems with wild Arduino mood swings on startup.  I've seen this before - but didn't know why.