Fix a bug which generated pointers to constructors as functions