Ihad recently changed the serpentine belt and was checking a startup squealing when I noticed the tension pulley for the alternator belt was not turning with engine running. Is this correct? Shouldn't it be turning even though it is against the top side of the belt?