Fix stdio example