GitHub URL Fix

This fix was submitted by @juergenu.