fix type in bug562