Make string extraction work

Fixes #4.