Remove useless line
Remove forgotten stuff

Commit c8613bb906c30d35800042f05c3dad6a7805438d removed this from the
cpp file, but left it in the header.

Let's drop it completely.