An error message better than None.get ...