fixing file_pointer_lax/3