Ah, from your notes below I see that `isfile` exists and is actually the more appropriate name.