A new name for Mabuya polytropis occidentalis Hoogmoed, 1974. Zoologische Mededelingen (Leiden), 53(10) 1978: 106. 106 [Zoological Record Volume 115]