Fixed a missing ) in #729. ;-)