Fix undefined names

Fixes: #80