Fix: duplicate declaration

A merge introduced duplicate declaration. This fixes the situation.