Minor spelling correction in comments