destruct: fix compilation with 400 and 401