forgotten change in previous commit; actually USING the optional flag