Fixing issue-717 and removing unnecessary pipe character from grader submission navigation bar
Merge pull request #1213 from wroy/issue-717

Fixing issue-717 and removing unnecessary pipe character from grader sub...