Issue #32: minor update