tiny fix of -&gt; to ->