Revert "Another pointless edit"

This reverts commit 02d444fb7c69b4c42706e764363ff069bb54b0be.