deverbosify a bit more