Fix definition on page 48