#2615: small consistency update by Jeroen Ruigrok van der Werven.
1 file changed