small fix for a problem vivek encountered