Issue #6: A nicer final annotation