Deprecated notices. See #437.