Add missing Deprecated annotation

Fixes a build warning resulting from #714