Why are there double-parens here?