Revert "Git commit 6b6dfda"

This reverts commit f4f5ca62ffcd89169d46141762f7a4a866b16576.