Right, seems to be unnecessary. Removed it.