Correct annotation after S4