more lease spec fixes for travis