We should change these settings to a ~ tilde to simplify the editing needed.