Fix small ) mistake