Test Push: fix a code style