Fixes bug introduced in 6003b4e9509e087d01a0d33a0720c701250715c0