Correct setting of default args