Issue #9: fixed formatting errors