Avoid a deprecated message warning (close #16).