Made  public (fixes #12).