Minor cleaning change.