Just removing some superfluous text.