a small fix for minor issue #1442