This change was missed by 5852fd7708d02d6ca85e4a5ed01d8263e3962631 Signed-off-by: Damien George <damien@micropython.org>