Fix #427, document Deprecation better