Minor bugfix, fixes #24