fixed an error in the .modman file