PinTWS14 Talk: minor fix on Aviles-Giga