fix omission of infoboxes when enabled