Fix aloha.settings initialization when loading aloha.