Slight extension of MessageProvider