(minor text change)