remove obsolete typedef

Addresses #420.