Follow-up to 98c3f148 that removed it from the header file
98c3f148
Closes #3724 Reviewed-by: Jakub Zakrzewski Reviewed-by: Daniel Gustafsson