A tiny fix (long forgotten)