minor fix in message for #920