[ Minor style changes ]