Implementation: fixed formatting problem