Fixed (?) a bug