Revert "A test for a bug."

This reverts commit 1252ca71469782f7da6ac2901af81ed49ea25f7d.