Closed #42: easy fix ;-)