slightly better notifications. at least, it fixes #652