Fix #3763

How does it look in Redmine Navigator?