Fix dumb header issue (didn't update implementation)