Revert "small nitpicky thing"

This reverts commit 7413c657dcfed17161290e64898dbb48411fd1ba.