Minor structural improvements

Server pushes are now refused, rather than ignored.