Minor improvement to the maven_deploy script