Fix a silly bug in .get