Added missing copyright headers.

Fixed Options to default to proper output width.