a tiny enhancement
a tiny modification