// FIXME (issue #3915)