tiny change

This is a test Pr to see whether Travis runs our tests. Please don't merge!