fix a bug in stripper