belfast-8: typos