Typo in philosophy