minor fix for a minor issue #58