Minor hack to deal more gracefully with sdoc/preprocessor stuff