Fix stupid bug (#33)