Typo
More fixes for Ubuntu 14