Davies Liu: bugfix