trivial: unnecessary white space  removed