Removed duplicate core import

Knoplerfish that I am using for a project doesn't like duplicate imports... And I see no reason for it to be there.