Revert "Minor tweak"

This reverts commit de6aa13208c6b2024f36146c7b82707822aad04a.