Now really fix the bug...

Updates #1