FIX: return type missing on an example