doc error: extraneous brackets