looks like this confirms that #86 has been fixed.