It was indeed a bug. A fixed version is now uploaded, please download it again.