Revert last commit. Change was meant for another repo.

This reverts commit d8c80b828f74e3772c789b022f008b8c6897d4ab.