oops, missing `)'

Change-Id: I1478ebf4abc60e8b8b18388a0e3ca12658bca2d9