Gonna push another commit since I forgot to enable Travis CI for the project