A tiny fix