Even more minor fix