Should this really say #\31 and not #\1? What does \3 mean?