v0.2.3: small code tweak