bug fix (already fixed upstream)