minor: whitespace value) {, here and elsewhere