removed junk that got commited earlier

@seliopou  could you determine the source of this screwup? I see it last in my merge.

Also, @basus, I think closing your pull request somehow merged it in. In advertently. See the master.