Removing FIXME markers from head of file
Remove spurious colon from GitHub URL.