@User what you pointed out is indeed a bug - thanks for that. We will fix this within 2 days (hopefully just today) and release a new version.