Fixed #1292: Wrong abs() function used in example