Yes, I change this with the next commit. It's no longer needed.