Issue #10: Bug-fix for the previous check-in