small fix to recent checkin