Functions.py: fix type in previous commit