remove unused formal arg