(P) Fix bug (minor)