Fix close-paren indentation. One more FIXME