Small cleanup of the depwarn flag for @-deprecated