Remove an already-fixed FIXME

Also add a simple (manual) test for it.