Fix inaccurate number in Twitter IPO post