Fixed stray character that found its way into the file