Minor non-programmatic typo