Fixup syntax errors in 15e69db155318d22326e9cbf1fcce90bc7d83f20