Fix secondary bug in `maven push`