unnecessary space after "definitions"