One more tiny fix