Fix bug in SimpleHighestExistingFileMonitor introduced in be3129c