Bad programmers are all around us. It could have been fixed with a min() call