diff --git a/.travis/push.sh b/.travis/push.sh
index c54d1f4dd..cfe5e2331 100755
--- a/.travis/push.sh
+++ b/.travis/push.sh
@@ -6,7 +6,7 @@ setup_git() {
 commit_website_files() {
   git checkout master
   if [[ $(( $TRAVIS_BUILD_NUMBER % 5 )) == 0 ]]; then
-      n = $(( ($TRAVIS_BUILD_NUMBER-270)/5))
+      declare -i n=($TRAVIS_BUILD_NUMBER-270)/5
       npm run linter
       echo "Linting build:  $n"
   fi