These should probably come from the settings file, but I don't think it's important to do now.