fix spelling of DEFAULT in comments...