remove unnecessary double-definition