Evidently switching text editors changes things...