bugfix: missing )

sorry - your merge was too fast ;)