This fixes #17