bug 1133: small adjustment in if statememnt