Remove some redundant lines fix #241.

I was studying the code and found some lines that might be problematic.
I also fixed #241 by deleting the push! function definition.
Please close my previous pull request #239.