ADDED: more human-readable messages in debugging