fix cosmetic issue #2