Another tiny fix