version 0.2.3: fixed a silly incomplete rename bug