Another fix for github plugin.