Fixes #47: Remove an unnecessary print