Minor bug

I get the following notice:

nvalid characters passed for attempted conversion, these have been ignored
Type: PHP Deprecated Line: 368
File: /home/mydirecetory/public_html/wp-content/plugins/hum/hum.php

I think it could be fixed by doing a check like this

if (ctype_xdigit($path) && ctype_xdigit($path)) {
$post_id = base_convert( $path, 32, 10 );
$post = get_post( $post_id );
}