slightly improve message for #1010