Adds a forgotten type annotation