fix bug in GitHub aside