Fix a strange bug that doesn't exist in normal code (?)