When should we capitalize ‘capitol’?