fix type in error message