fixed a bug in assertion messages