codebox: typos corrected