Deprecated argument annotation warning, #395.