Revert "Fixing stray line. See #1136"

This reverts commit 3365801856ec8b3fa65247837024549cd4b36429.