David Leal

Minor follow-up to the previous fix.