Fixed minor bug in default arguments