rwmb_fieldID_field_title filter

I've spotted a bug in the post field type:
fields/post.php lines 140-143 say:

$post = $query->next_post();
$title = apply_filters( 'rwmb_post_field_title', $post->post_title, $post );
$title = apply_filters( "rwmb_{$field['id']}_field_title", $title, $post );
$options[$post->ID] = $post->post_title;

they should say:

$post = $query->next_post();
$title = apply_filters( 'rwmb_post_field_title', $post->post_title, $post );
$title = apply_filters( "rwmb_{$field['id']}_field_title", $title, $post );
$options[$post->ID] = $title;

what's the best way to get this corrected in the next release? Git pull request?

cheers

Saul