Rectified a typographic error