Fix wrong example in aggregated docs

Why is there a cast to Integer?