Issue #14: minor formatting