Tiny fix to gurupi-pugpi-29-11-2014.
Fix again to gurupi-pugpi-29-11-2014.