A tiny enhancement