Fix broken push (type cast)