Changed wordings in Marti's bug report