Place version and comment correctly in @deprecated