Fix. Bug found by Ali.