Revert "Oops, forgot to update the other place"

This reverts commit 5120460c8f0fa3ab4502a3ac3dd3db803c70689e.