More documentation. New: only accept at most one else tag.