Minor datatype fix
Add refinement prototype