cosmetics: remove unneeded braces