Add some phpspec