UPDATE fixing prototype checking