Issue #27: minor update