Another small change made by andripp