Small fixes for Problem26.