Trivial fix.
Update info file.