fixed #585

Thanks, Michael, for reporting this!