Fix compile warning in ElabDecls