cleaned up indenting for Push code