Issue #19: forgot to add a file in the previous commit