Fix problem #3, it was wrong