Tinier fix to a tiny fix