minor cleanup, prod travis