Fix up resolving test on Travis