This fixes #19.