Revert "fix a bug in Core.hpp"

This reverts commit dae9e14d4c38b533c6265fbb06ad03bbd80b29bc.