Revert "Minor change"

This reverts commit ce79127052e1dc6a3ff37c2bb5a02458a3a41583.