correct a possible problem when a int is cast to string when the value from the $_GET