silly non-use of the options...