This has been fixed in #19.