Previous commit #6b073c1 Fixes #42, not #43