Fill in 'other-extensions'.
Fix warning.
Formatting.