You're absolutely right. Sorry, I had confused this with something else in Tool.