Minor fixes in argument types