add safety for WKB reader