Clear FIXME entry 2013-08-13