Fix push requests

Two bug fixes found in the process of implementing the client side of the push requests in fdroidclient!386 (merged)

This is related to !156 (merged).