Oops, missed @jmesserly's comment: looks like a fix is coming!