Update specification about if-else statements

Whitespace changes and reference on <setq> tags are also added.