minor corrections reguarding pointer types