Seems they initially paid a bit more for it? Construction industry up against it at the moment and like you say it’s not core business so seems like a good time to divest.