Minor change to getter in the core file