Post-SpaceX letdown for IPO market?