readjust iex syntax