bugfix in argumentTypes