Fix PushEvent JSON representation of size attribute