Minor fixes related to setting kernel arguments.