Fixed minor bug (fixes #41)