added setopt correct and a colorized correction prompt