Minor bugfixes in Github search