Minor nit - comment doesn't match pushCoin name change.