fixed bugs introduced by github editor