single-line `then', as per guidelines