little enhancement : change double space to single space after "function"