[STABLE] Github repair

Out of sync problem occurred with some files, saying there were changes
to commit, but gave output that there were no differences between these
select files. Made minor revisions to alleviate this problem.