Fixes Soanr issue about unused formal parameter