Fixed issue #20; pointer typedefs