Fixed the readline prompt

This solves #112