Fixed by #241