I wouldn't worry about it. Last time there was a pullback that I can remember, every other day it was HUGE companies(think MS, IBM, HP, etc) laying off tens of thousands of people. These are two relatively small companies, in challenging sectors, laying off a relatively small amount of people. Don't worry yourself making more of it than it is right now.