[postmodern-devel] Bug when redefining a class.