Bug fix for AREST issue #3