Correct syntax for deprecation declaration