Fix a wayward asterisk