minutia which I failed to push yesterday