Another annotation fix