Fixed a bug in argh