Mildly improve Github's magic getter